<?php
    $path="1125.php";
    echo realpath($path) . "\n";
?>
    